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

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