Логическое следование формул

[B4N]

Не подскажите, правильно ли привел решение?



Теория: Формула F2 следует из формулы F1, если формула F2 истинна на тех значениях переменных, на которых истинна F1 (если F1 ложно, то про значение F2 ничего нельзя сказать)

Ответ: Верно

[Mihr]

На самом деле эти формулы равносильны. Проверьте построение таблицы истинности. В ней есть ошибки (не одна).

[Deggial]

Тема перемещена из форума «Помогите решить / разобраться (М)» в форум «Карантин»
Причина переноса: формулы не оформлены $\TeX$ом

B4N
Наберите все формулы и термы $\TeX$ом. Картинку сносите.
Инструкции по оформлению формул здесь или здесь (или в этом видеоролике).
См. также тему Что такое карантин, и что нужно делать, чтобы там оказаться.
После исправлений сообщите в теме Сообщение в карантине исправлено, и тогда тема будет возвращена.