Нормальные формы для формул алгебры высказываний. Совершенные нормальные формы

Embed Size (px)

Text of Нормальные формы для формул алгебры высказываний....

  1. 1. 1
  2. 2. 2 () , ( , ). ZYX XYX ZX XX XYX
  3. 3. 3 () . ZXYZX ZYXXX ( ). ZYYX
  4. 4. 4 () , ( , ). ZYX ZX XX ; ; XYX
  5. 5. 5 () . Z)(X)Y(ZX )Z(YY)XX ( ))(( YXZYX ( ).
  6. 6. 6 F(X,Y). , . X Y F 0 0 1 0 1 0 1 0 1 1 1 1
  7. 7. 7 , ?
  8. 8. 8 () , ( , ), . )()( YXYXX )()( ZYXZYX
  9. 9. 9 () , ( , ), . X)(ZY)XX ( Y)Z(XY)ZX (
  10. 10. 10 , , 0 1 1= XX 0= XX
  11. 11. 11 1. , 1: F(X,Y)YX 1*11 1*01 010 1*00 2. : 1, , 0, : 1- , 3- , 4- 3. : YX YX YX )()()( YXYXYXF =
  12. 12. 12 1. , 0: F(X,Y)YX 111 101 0*10 100 2. : 0, , 1, : - 2- . 3. : YX YX
  13. 13. 13 . : YXYXYXYX YXYXYXF = == )()()( = = YX : , .
  14. 14. 14 , . , . )( YXF = )( YXF = X Y 0 0 1 1 0 1 0 0 1 0 1 1 1 1 0 1 )( YXF =Y
  15. 15. 15 v F X Y )( YXF =
  16. 16. 16 , a b c 0 0 0 0 0 0 1 1 0 1 0 0 0 1 1 1 1 0 0 1 1 0 1 1 1 1 0 0 1 1 1 1 cba )( cba )( cba )( = abccbabca bcacab=