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