Дана пропозициональная форма (ПФ)
,
при записи которой использовались альтернативные варианты обозначений:
и
.
Тогда применяя свойства логических операций, ПФ можно привести к равносильному, но более компактному виду …
(т.е. форма тождественно равна константе "истина")