Таблицы истинности
Построение таблицы истинности
Для набора с клавиатуры и кнопок вставки операций допустимы следующие обозначения:
Конъюнкция: ∧, &, *
Дизъюнкция: ∨, +
Инверсия: ¬, -
Импликация: →, ->
Эквивалентность: ≡, =
Приоритет операций: ¬, ∧, ∨, →, ≡
Переменные: латинские буквы в любом регистре
Допустимо не более 5 различных переменных.