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