ВУЗ:
Составители:
Рубрика:
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
- …
- следующая ›
- последняя »