Логическая равносильность формул
Определение. Формулы $\Phi, Psi$ называются логически равносильными (или просто равносильными), если они принимают одинаковые логические значения при любых истинностных значениях их переменных. Это равносильно условию $|=\Phi \Leftrightarrow \Psi$ Для обозначения…