как упростить функцию в информатике   F=не(A & B ) v не(B v не C)

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