, .
, , .
, . , , .
:
1. ┐ () ;
2. () ;
3. () ;
4. (, ) ;
:
()
1) . ( ) , , .
.
. :
P | |
2) . ( ) P Q , , .
P&Q Q.
P | Q | P Q |
3) . ( ) P Q , , .
P Q.
Q | P Q | |
4) . ( ) P Q , , , Q .
PÉQ ( Q). , Q .
P | Q | P Q |
5) . ( ) P Q , , .
~Q ÛQ.
P | Q | P~Q |
.
:
S=(A→B)∧( ┐C)∨(A↔C)
, 23 = 8 .
, : , , , , . (→) ,
, (→)∧. (A↔C) . S : (→)∧ (A↔C).
|
|
→ | (→)∧ | ┐ | A↔C | C (A↔C) | ||||
, S , :
=1 =1 =1 ( )
=1 =0 =1 (, - , - )
=0 =1 =1 ( - , - )
=0 =1 =0 ( - , - )
=0 =0 =1 ( - , - )
=0 =0 =0 ( ).
: 1) ( () ); 2) , , , , , , .
. .
( ) .
( ):
.
- , - ( )
, ( ).
.
, .
:
, ,
, , .
:
,
,
,
, , , 0.
, , ( ).
, - .
, , .
, , .
Q , , .
Q , Q