Презентация, доклад по теме Выполнение логических операций

высказываний, при котором значение истинности сложного высказывания полностью определяется значениями истинности исходных высказываний.

наоборот, инверсия ложна, если переменная истинна.

Обозначение:

и только тогда, когда оба высказывания, истинны.

Обозначение:

тогда и только тогда, когда оба высказывания ложны.
Обозначение:

только тогда, когда из истинного основания следует ложное следствие.

Обозначение:
А - условие
В - следствие

тогда и только тогда, когда оба высказывания одновременно либо ложны, либо истинны.

Обозначение:

(формулы) логические операции вычисляются в определенном порядке, согласно их приоритету:
1.инверсия,
2.конъюнкция,
3.дизъюнкция,
4.импликация и эквивалентность.
Операции одного приоритета выполняются слева направо. Для изменения порядка действий используются скобки.
Пример

–
Эквивалентность –