ВУЗ:
Составители:
Рубрика:
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
Страницы
- « первая
- ‹ предыдущая
- …
- 60
- 61
- 62
- 63
- 64
- …
- следующая ›
- последняя »
