Наиболее подходящими формализациям для приведенных текстов являются формулы...* знак "≠" обозначает строгую дизъюнкцию