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