Как функцию в информатике f=не(a & b ) v не(b v не c)

Предлагаю автоматический поиск и проверку логических функций на Excel Копируя логические элементы собираем необходимую функцию, строим таблицу, в листе СДНФ (жмем на ярлык внизу) находим СДНФ функции, затем в листах 1 строим логическую схему и упрощаем, проверяем  
F=¬(A&B)v¬(Bv¬C)
Упрощаем
F =¬Av¬B
Собираем схему проверяем