Программа для построения таблиц истинности.
Использование
В программе можно вводить следующие символы:
Латинские буквы в нижнем регистре означают высказывания
Латинские буквы в верхнем регистре означают операции
Допустимые операции:
& - конъюнкция ( * , AND )
| - дизъюнкция ( +, OR )
-> - импликация ( IMPL )
<-> - эквиваленция ( EQUALS )
~ - отрицание ( NOT )
Приоритет можно установить с помощью скобок ()
Пример
Давайте введём высказывание означающие силлогизм:
> ((p -> q)&(q -> r)) -> (p -> r)
На выходе получим:
[0, 0, 1, 1, 0, 0, 1, 1] q
[0, 0, 0, 0, 1, 1, 1, 1] p
[0, 1, 0, 1, 0, 1, 0, 1] r
[1, 1, 1, 1, 0, 0, 1, 1] (p -> q)
[1, 1, 0, 1, 1, 1, 0, 1] (q -> r)
[1, 1, 0, 1, 0, 0, 0, 1] ((p -> q) AND (q -> r))
[1, 1, 1, 1, 0, 1, 0, 1] (p -> r)
[1, 1, 1, 1, 1, 1, 1, 1] ((p -> q) AND (q -> r)) -> (p -> r)
Для выхода из программы введите 'quit' или 'exit'