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