Информатика и ИКТ подготовка к ЕГЭ

Основные логические связки - Построение алгебры высказываний - Краткий теоретический справочник

Конструирование составных высказываний из простых осуществляется при помощи связок (см. табл. 1.1).

Таблица 1.1. Основные логические связки

Связки	Обозначения	Название соответствующих операций
нет; не; неверно;...		отрицание
и; а; но;...		конъюнкция
или; либо;...		дизъюнкция
следует; влечёт; если ..., то ...; тогда; вытекает ...	→	импликация
эквивалентно; равносильно; если и только если; тогда и только тогда; в том и только в том случае;...		эквиваленция