Версия для печати
Определения ЭК, Эд, ДНФ, КНФ...


Обзор глоссария по алфавиту

Специальные | А | Б | В | Г | Д | Е | Ё | Ж | З | И | К | Л | М | Н | О
П | Р | С | Т | У | Ф | Х | Ц | Ч | Ш | Щ | Э | Ю | Я
Все

Т

:
F=ЭД является тождественно истинной тогда и только тогда, когда вместе с некоторой высказывательной переменной содержит и ее отрицание
:
F=ЭК является тождественно ложной тогда и только тогда, когда вместе с некоторой высказывательной переменной содержит и ее отрицание