Высказывания<br />«Посадил дед репку» обозначим как А,<br />«Выросла репка большая-пребольшая» обозначим B.<br />Какие формулы соответствуют двум утверждениям:<br />«Если дед посадил репку, то она выросла»<br />«Неверно, что, дед посадил репку, а репка не выросла» A&¬B и ¬(¬B & ¬A), A⟶B и ¬( A&¬B ), A⟶B и ¬(A ⟶ B), A⟶¬B и ¬(¬B ⟶A), ¬A&B и (¬B ∨ ¬A)