1) F= ¬(A˄B)˅¬(B˄C)
2) F= A˄C˅¬A˄C
3) F= ¬A˅B˅C˅A˅B˅C
4) F= ¬(X˄Y˅¬(X˄Y))
5) F= X˄¬(¬Y˅X)
6) F= (X˅Z) ˄ (X˅¬Z) ˄ (¬Y˅Z)
˄ конъюнкция
˅ дизъюнкция
¬ отрицание

1)F=¬(A*B)+¬(B*C)           (формулы: ¬(A*B)=¬A+¬B)F=¬A+¬B+¬B+¬C          (формулы:   А+A=A)F=¬A+¬B+¬C   или   F=¬(A*B*C)2)F=А*С+¬A*CF=C*(A+¬A)F=C3)F=¬A+B+C+A+B+C    (формулы:  A+¬A=1;   1+A=1)F=14)F=¬(X*Y+¬(X+Y))                                         (A+¬A=1)F=¬1F=05)F=X*¬(¬Y+X)                                          (   ¬(A+B)=¬A*¬B)F=X*(¬¬Y*¬X)F=X*Y*¬X                                              (  A*¬A=0)F=06)F=(X+Z)*(X+¬Z)*(¬Y+Z)F=(X*X+X*¬Z+X*Z+Z*¬Z)*(¬Y+Z)      F=X*(¬Y+Z)