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

1. Импликация может быть выражена через логические умножение и сложение следующим образом:

A→B=¬A\/B

2. Закон двойного отрицания

¬¬A=A (далее…)

Элементы логики. Часть 1

В данной статье приводится сведения из раздела математики “Логика”, которые необходимо знать для успешной сдачи ЕГЭ по информатики.

1. Обозначения логических операций

Обозначения, используемые в тесте ЕГЭ	Альтернативные обозначения	Название
¬A	A	отрицание (инверсия)
A/\B	A·B, A&B, A AND B	логическое умножение (конъюнкция)
A\/B	A+B, A|B, A OR B	логическое сложение (дизъюнкция)
A→B		следование (импликация)

(далее…)