Логическая связка

Логические связки используются для соединения и отрицания высказываний в логике.
В классической логике существуют 16 логических функций, связывающих входные значения истинности с четырехразрядными двоичными выходами.
Различные реализации классической логики могут выбирать различные функционально завершенные подмножества связок.
В интуиционистской логике ситуация более сложная, и только отрицание может быть сведено к другим связкам.
Стандартные логические связки классической логики имеют приблизительные эквиваленты в грамматиках естественных языков.
Некоторые логические связки обладают свойствами, которые могут быть выражены в теоремах, содержащих связку.
В информатике и теории множеств логические связки используются в цифровых схемах и для определения фундаментальных операций теории множеств.

Полный текст статьи:

Логическая связка — Википедия