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