1° импликация
обладает значением истинности
2° отрицание X обладает значением истинности 1-х. Тогда, согласнр формуле (2.102) значение истинности дизъюнкции
будет
Легко убедиться в том, что это выражение при
тождественно равно
Значение истинности конъюнкции
согласно уравнения (2.103), определяется формулой
Выражение (2.105) при
равно
Таким образом
3° дизъюнкция
обладает значением истинности
4° конъюнкция
обладает значением истинности
Если задана произвольная булева функция
то, приведя ее к дизъюнктивной (или конъюнктивной) нормальной форме и пользуясь свойствами
можно найти соответствующее ей значение истинности
Функция
является непрерывной функцией внутри куба
Сделаем замену
тогда получим значение истинности отрицания X
конъюнкции
дизъюнкции