Математическая логика

0 и 1.
Задача – разработать оптимальные правила обработки таких данных.
Джордж

однозначно сказать, истинно оно или ложно.
Высказывание или нет?
Сейчас идет дождь.
Жирафы

(элементарные)
Составные высказывания строятся из простых с помощью логических связок (операций)

A и B
A или не B
если A, то B
не A и B
A тогда и только
тогда, когда B

Сейчас идет дождь и открыта форточка.
Сейчас идет дождь или форточка закрыта.
Если сейчас идет дождь, то форточка открыта.
Сейчас нет дождя и форточка открыта.
Дождь идет тогда и только тогда, когда открыта форточка.

и наоборот.
1
0
0
1
таблица истинности операции НЕ
также: ¬А,
not A (Паскаль),
Таблица

B (Паскаль),
А & В
0
0
конъюнкция – от лат. conjunctio —

Высказывание "A и B" истинно тогда и только тогда, когда А и B истинны одновременно.

B, A or B (Паскаль),
1
1
дизъюнкция – от лат. disjunctio —

Высказывание "A или B" истинно тогда, когда истинно А или B, или оба вместе.