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

• логическое умножение
• дизъюнкция
• инверсия
• импликация
• конъюнкция
• логическое сложение
• деление