Учебное пособие: Дискретная математика

1

1

0

1

0

1

1

1

0

1

1

1

0

0

1

0

1

0

1

1

0

1

1

1

1

1

Полученное высказывание истинно всегда. Такие высказывания называют тождественно истинными и обозначаются J . По аналогии существуют и тождественно ложные высказывания L . Метод заполнения таблицы истинности принят для не очень сложных высказываний. Если выражение содержит N опций, то таблица становится громоздкой. Для этого используются законы алгебры логики. Таблицу истинности можно составить с использованием программы. В большинстве языков высокого уровня имеются логические операции NOT , AND , OR , XOR , реализующие операции соответственно.

Контрольные вопросы

1. Дайте определение высказывания.

2. Перечислите основные символы алгебры высказываний.