B  C a=b

B  C a != b
DPNNBOE
Q ¬p
Q  R a∧b
Q ] R a∨b
Y JO WFDUPS Y
WFDUPS

EBUBGSBNF
B  C C
/BNF EBUBGSBNF/BNF /BNF
B
EBUBGSBNF
7JFX Y
Y
SPXOBNFT EBUBGSBNF

SN Y
Y
SCJOE EBUBGSBNF SPX

EBUBGSBNF SPX

OSPX EBUBGSBNF

MFOHUI EBUBGSBNF

D 
TVCTFU EBUBGSBNF <DPOEJUJPO>

GSPNUP EBUBGSBNF
UZQFPG Y
Y
MFOHUI Y
Y

Y<O> O BHHSFHBUF Y MJTU 

'6/

Y<O> O Y
Y<D   
>

Y<Y  >
UBCMF Y

Y<PSEFS Y
>
SFW Y
NFSHF B C

VOJRVF Y

BTJOUFHFS
BTEPVCMF
BTDIBSBDUFS

SFBEDTW GJMFOBNF
GJMFOBNF

XSJUFDTW GJMFOBNF Y

/" JTOB Y
Y /" Y GJMFOBNF

536& '"-4&

NJUDIP!NJUDIPDPN