Дискретная математика. Кулабухов С.Ю. - 62 стр.

UptoLike

Составители: 

gLAWA   III.   aLGEBRA WYSKAZYWANIJ

  8. sPOSOBOM, UKAZANNOM W PREDYDU]EM UPRAVNENII DOKAVITE ASSOCIATIWNOSTX OPERACII _,
     DISTRIBUTIWNOSTX OPERACII & OTNOSITELXNO _, NE DOKAZANNYJ WAMI ZAKON DE-mORGANA, PRA-
     WILA ISKL@^ENIQ IMPLIKACII I \KWIWALENCII.
  9. iSPOLXZUQ LIX ZAKONY POGLO]ENIQ I DISTRIBUTIWNYE ZAKONY, DOKAZATX ZAKONY IDEMPO-
     TENTNOSTI.
 10. sLEDU@]IE FORMULY PRIWESTI K BOLEE PROSTOMU WIDU:
        (a)    (a & :b) _ (a & :c) _ (b & c) _ b _ c,
        (b)    (a & b & c) _ (a & b & :c) _ (a & :b),
        (c)    :((a ! b) & (b ! :a)),
        (d)    (a ! :b) _ :(a _ b),
        (e)    :(:a & :b) _ ((a ! b) & a).
 11. dOKAVITE, ^TO KAVDAQ FORMULA ALGEBRY WYSKAZYWANIJ RAWNOSILXNA FORMULE:
      (a) NE SODERVA]EJ OPERACIJ IMPLIKACII I \KWIWALENCII I W KOTOROJ OPERACIQ OTRICANIQ
          OTNESENA LIX K BUKWAM
      (b) SODERVA]EJ LIX OPERACII : I &
      (c) SODERVA]EJ LIX OPERACII : I _.
      (d) SODERVA]EJ LIX OPERACII : I !.
 12. dOKAVITE TOVDESTWENNU@ ISTINNOSTX FORMUL, ISPOLXZUQ ZAKONY LOGIKI.
      (a) a ! (b ! a),
      (b) (a ! (b ! c)) ! ((a ! b) ! (a ! c)),
      (c) (:b ! :a) ! ((:b ! a) ! b),
 13. sKOLXKO POPARNO NERAWNOSILXNYH FORMUL MOVNO SOSTAWITX W ALFAWITE, SODERVA]EM W TO^-
     NOSTI n WYSKAZYWATELXNYH PEREMENNYH?




                                                        62