Двойственные операции и двойственные формулы АВ. Закон двойственности.

   & - двойственна операции \/. \/ - двойственная операции &. Формулы a(альфа) и a* называются ДВОЙСТВЕННЫМИ, если одна получается из другой заменой каждой операции на двойственную. утверждение: если а* двойственная а, то и а двойственна а*.
   пример: ((not X)\/Y)&Z двойственна ((not X)&Y)\/Z.
   ЗАКОН ДВОЙСТВЕННОСТИ: Если формулы а и b равносильны, то двойственные им формулы   и   также равносильны. т.е. a=b => a*=b*.