Определение 2. Конъюнкцией (или логическим умножением) двух высказываний А и В называется такое высказывание, которое истинно тогда и только тогда, когда истинны оба высказывания А и В. Обозначается А ^ В («А и В»).