Задание {{ 220 }} ТЗ № 220
Всякую Булевую функция можно представить булевыми формулами, а именно £
£
Задание {{ 221 }} ТЗ № 221 Функция £ формулой в исчислении высказываний
£ предикатом
R булевой функцией
£ алгеброй Буля
Применение теорем проблемы разрешимости Задание {{ 222 }} ТЗ № 222 Из следующих формул тождественно истинной является £
£
R
£
Задание {{ 223 }} ТЗ № 223 Из следующих формул тождественно истинной является £
£
R
£
Задание {{ 224 }} ТЗ № 224 Из следующих формул тождественно истинной является £
£
£
R
Задание {{ 225 }} ТЗ № 225 Из следующих формул тождественно истинной является R
£
£
£
|
принимающее значение 
и область определения, которого состоит из множества высказываний, называется
