Логика для всех
/
Учебные материалы
Логические связки
отрицание
"неверно что ...", "не ..."
~
a
.
конъюнкция
"... и ..."
a
&
b
(
a
,
b
- конъюнкты).
дизъюнкция
"... или ..."
a
v
b
(
a
,
b
- дизъюнкты).
импликация
"если ..., то ..."
a
=>
b
(
a
- основание,
b
- следствие
)
.
эквивалентность
(равнозначность)
"... тогда и только тогда ...", "... если и только если ..."
a
<=>
b
.
Таблицы истинности
a
~
a
1
0
0
1
a
&
b
1
1
1
1
0
0
0
0
1
0
0
0
a
V
b
1
1
1
1
1
0
0
1
1
0
0
0
a
=>
b
1
1
1
1
0
0
0
1
1
0
1
0
a
<=>
b
1
1
1
1
0
0
0
0
1
0
1
0
Все в одной таблице:
a
b
~
a
~
b
a
&
b
a
V
b
a
=>
b
a
<=>
b
1
1
0
0
1
1
1
1
1
0
0
1
0
1
0
0
0
1
1
0
0
1
1
0
0
0
1
1
0
0
1
1
Сайт управляется системой
uCoz