логика

Логическая операция/ соответствие в русском языке

Обозначение

Диаграмма Эйлера-Венна

Таблица  истинности

инверсия (отрицание, логическое "НЕ")/ "...не...", "неверно, что..."

¬

A

¬A

0

1

1

0

конъюнкция (логическое "И")/ "...и..."

Λ, &

A

B

AΛB

0

0

0

0

1

0

1

0

0

1

1

1

дизъюнкция (логическое "ИЛИ") "...или...", "...либо..."

V

A

B

AVB

0

0

0

0

1

1

1

0

1

1

1

1

импликация (следование)/ "если...,то...", "когда..., тогда..."

→

A

B

A→B

0

0

1

0

1

1

1

0

0

1

1

1

эквивалентность (тождество) "тогда и только тогда, когда"

↔, ≡

A

B

A↔B

0

0

1

0

1

0

1

0

0

1

1

1