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

