Для того чтобы формула логики высказываний была тавтологией, необходимо и достаточно, чтобы в ее КН-форме каждый дизъюнктивный одночлен содержал слагаемым хотя бы одну переменную вместе с ее отрицанием
(x→y)^(x→¬y)^x

rusnaktaniusha    3   29.02.2020 21:43    1