SHPORA.net :: PDA

[ Back ]

Формула называется тождественно-истинной или тафтологией, если она истина при всех значениях переменных, входящих в неё.

Формула называется тождественно-ложной, если она принимает значения "ложно" при всех значениях переменных входящих в неё.