Для задания логического высказывания, давайте введем обозначения для предложений:
Исходное высказывание можно записать в логической форме как:
P∨Q P \lor Q P∨Q
(где ( \lor ) означает "или").
Теперь выполним инверсию этого выражения. Инверсия логического высказывания произвела бы следующее выражение:
¬(P∨Q) \neg(P \lor Q) ¬(P∨Q)
По закону де Моргана инверсия объединения дает:
¬P∧¬Q \neg P \land \neg Q ¬P∧¬Q
(где ( \neg ) — логическое отрицание, а ( \land ) — "и").
Таким образом, упрощенное выражение будет:
Это означает "Семен не пришел поздно, и Вася не опоздал на поезд".
Для задания логического высказывания, давайте введем обозначения для предложений:
Пусть P P P — "Семен пришел поздно".Пусть Q Q Q — "Вася опоздал на поезд".Исходное высказывание можно записать в логической форме как:
P∨Q P \lor Q P∨Q
(где ( \lor ) означает "или").
Теперь выполним инверсию этого выражения. Инверсия логического высказывания произвела бы следующее выражение:
¬(P∨Q) \neg(P \lor Q) ¬(P∨Q)
По закону де Моргана инверсия объединения дает:
¬P∧¬Q \neg P \land \neg Q ¬P∧¬Q
(где ( \neg ) — логическое отрицание, а ( \land ) — "и").
Таким образом, упрощенное выражение будет:
¬P∧¬Q \neg P \land \neg Q ¬P∧¬Q
Это означает "Семен не пришел поздно, и Вася не опоздал на поезд".