Условие задачи
Записать следующие высказывания в виде формул логики высказываний, используя логические переменные для обозначения элементарных высказываний, т.е. таких, которые уже не могут быть построены с помощью каких-либо других высказываний. Для полученной формулы логики высказывания составить таблицу истинности:
Неверно, что и Петров и Иванов не имеют алиби; значит, хотя бы один из них не преступник.
Ответ
Обозначим А Петров не имеет алиби
В Иванов не имеет алиби
Неверно, что и Петров и Иванов не имеют алиби обозначается как отрицание конъюнкции: 
хот...
Потяни
