Тождественно истинные, выполнимые и невыполнимые формулы АВ.

   ТОЖДЕСТВЕННО ИСТИННАЯ формула - если она при всех значениях входимых в нее переменных высказываний принимает значение 1. пример: X\/(not X).
   ВЫПОЛНИМАЯ формула - если она принимает значение 1 при некоторых значениях входящих в нее переменых высказываний. пример: X.
   НЕВЫПОЛНИМАЯ формула (тождественно ложная) - если она при всех значениях входящих в нее переменных высказываний принимает значение 0. пример: X\/(not X).