FA   -ft bdtU. pi*, fié  bck^ is é^^o^cuor^-
2 -
0
W/j| k(úrF4) =1 iff (iiii)   í (&,?*)  - 1 iff
CA   *   i O"1*)
(Al) A    ,  k<&_   A flk
(Ai) tfCA-^3) -> (CA-o«)
(Aaj) H(A-o^) (HA~>H£)
(A«i) A -> H FA
(A*) VS> C^A
(Ar) 6a
(H?)      A  a (A-9B)       3      f^ooLi- poi^nr^)
(a4)    f fa -O fa
(a4)   ?a aTJ -2>  ? (a**) v VQS a1>S) " ?C?* a3)
yUv\e.*XU«. aas
(Ait) fa aP2 ^ FCA^í) v FCAaFs) * í(Ma7) (A+i)   GA -9 FA
U4J) FÁ-9FFA
(At<i)   ü (G* H> PGA )(£A~>HaJ (   aß = £3 ^ HI A'S )