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