Пример 5.
Построить таблицу истинности логического выражения:
Выполнить запись формулы на символьном языке (порядок действий регулировать скобками):
((A=>B)and(not B and C) and D) => not C.
В любом переводчике выполнить перевод терминатаблица истинности на английский язык.
В окне ввода напечатать truth table (или скопировать и вставить) область определения (на английском), а затем запись формулы на символьном языке.
truth table ((A=>B)and(not B and C) and D) => not C
Получаем:
-
проверку правильности математической записи
-
результат
Успешного выполнения задания!
