Пример 6.

Определить является ли логическое выражение логически истинным (тавтологией):

​

​Выполнить запись формулы на символьном языке (порядок действий регулировать скобками):

((A=>B)and(not B and C) and D) => not A.

​В окне ввода напечатать  запись формулы на символьном языке.

 ((A=>B)and(not B and C) and D) => not A

Получаем:

1. проверку правильности математической записи

2. результат

3. минимальные формы

4. другие формы

5. логическую схему

6. диаграмму Венна

Успешного выполнения задания!