1. Логическая операция ДИЗЪЮНКЦИЯ (лат. disjunctio - различаю):

Иное название: логическое сложение.

Дизъюнкция - это логическая операция, которая каждым двум простым высказываниям ставит в соответствие составное высказывание, являющееся ложным тогда и только тогда, когда оба исходных высказывания ложны и истинным, когда хотя бы одно из двух образующих его высказываний истинно.

Таблица истинности дизъюнкции:

А  В   F
0  0   0
0  1   1
1  0   1
1  1   1

2. Логическая операция КОНЪЮНКЦИЯ (лат. conjunctio - связываю):

Иное название: логическое умножение.

Конъюнкция - это логическая операция, ставящая в соответствие каждым двум простым высказываниям составное высказывание, являющееся истинным тогда и только тогда, когда оба исходных высказывания истинны.

Таблица истинности конъюнкции:

А   В    F
0   0    0
0   1    0
1   0    0 
1   1    1

3. Исключающее или "XOR".

«Либо А, либо В».

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

А  В   F
0  0   0
0  1   1
1  0   1
1  1   0

4. Логическая операция ИМПЛИКАЦИЯ (лат. implicatio - тесно связываю):

Иное название: логическое следование.

Импликация - это логическая операция, ставящая в соответствие каждым двум простым высказываниям составное высказывание, являющееся ложным тогда и только тогда, когда условие (первое высказывание) истинно, а следствие (второе высказывание) ложно.

Таблица истинности импликации:
А  В   F
0  0   1
0  1   1
1  0   0
1  1   1

5. Логическая операция ЭКВИВАЛЕНЦИЯ (лат. аequivalens - равноценное):

Иное название: равнозначность.

Эквивалентность - это логическая операция, ставящая в соответствие каждым двум простым высказываниям составное высказывание, являющееся истинным тогда и только тогда, когда оба исходных высказывания одновременно истинны или одновременно ложны.

Таблица истинности эквивалентность:
А  В   F 
0  0   1
0  1   0
1  0   0
1  1   1