В алгебре высказываний конъюнкция (или логическое произведение, или логическое «И») двух высказываний A и B истинна тогда и только тогда, когда