- •Пріоритет виконання операцій.
- •Властивості логічних зв’язок
- •Аксіоматичні системи: умовиводу і доведення
- •Карти Карно
- •Комутаційні схеми
- •Завдання Висловлення та логічні зв’язки. Таблиці істинності.
- •Умовні висловлення
- •Еквівалентні висловлення
- •Аксіоматичні системи умовиводу та доведення
- •Повнота в логіці висловлень
- •Карти Карно
- •Комутаційні схеми
Карти Карно
1. Спростіть висловлення, виражені наступними картами Карно:
а) q -q
р |
|
|
´ |
´ |
-р |
´ |
|
|
´ |
r -r r
б)
|
q |
-q |
|
||
p |
´ |
|
|
´ |
s |
|
´ |
´ |
´ |
-s |
|
-p |
|
|
|
|
|
´ |
|
|
´ |
s |
|
|
r |
-r |
r |
|
|
в)
|
q |
-q |
|
||
p |
|
´ |
´ |
|
s |
|
´ |
´ |
´ |
-s |
|
-p |
|
|
|
´ |
|
|
´ |
´ |
|
s |
|
|
r |
-r |
r |
|
|
2. Спростіть висловлення, виражені наступними картами Карно:
а) q -q
р |
´ |
|
´ |
|
-р |
´ |
|
´ |
´ |
r -r r
б)
|
q |
-q |
|
||
p |
|
´ |
´ |
|
s |
´ |
|
|
´ |
-s |
|
-p |
´ |
|
|
´ |
|
|
´ |
´ |
|
s |
|
|
r |
-r |
r |
|
|
в)
|
q |
-q |
|
||
p |
´ |
´ |
´ |
´ |
s |
´ |
|
|
´ |
-s |
|
-p |
´ |
|
|
´ |
|
´ |
´ |
´ |
´ |
s |
|
|
r |
-r |
r |
|
|
3. Використайте карти Карно для спрощення наступних виразів:
a) (р Ù q Ù r) Ú (~р Ù q Ù r) Ú (~р Ù q Ù ~r) Ú (~р Ù ~q Ù ~r ) Ú (р Ù q Ù ~r);
б) (р Ù q Ù ~r Ù s) Ú (р Ù ~q Ù ~r Ù s) Ú (р Ù q Ù ~r Ù ~s) Ú (р Ù ~q Ù ~r Ù ~s) Ú Ú (~р Ù q Ù ~r Ù s) Ú (~р Ù q Ù ~r Ù s) Ú (~р Ù ~q Ù r Ù s) Ú (~р Ù ~q Ù ~r Ù ~s) Ú Ú (~р Ù ~q Ù r Ù~s);
в) (р Ù q Ù r Ù s) Ú (~р Ù q Ù r Ù s) Ú (р Ù ~q Ù ~r Ù ~s) Ú (р Ù ~q Ù r Ù ~s) Ú Ú (~р Ù ~q Ù ~r Ù ~s) Ú (~р Ù ~q Ù r Ù ~s).
4. Використайте карти Карно для спрощення наступних виразів:
а) (~р Ù ~q Ù ~r) Ú (~р Ù q Ù ~r) Ú (~р Ù q Ù r) Ú (р Ù ~q Ù ~r) Ú (~р Ù ~q Ù r) ;
б) (р Ù q Ù ~r Ù s) Ú (р Ù ~q Ù ~r Ù s) Ú (~р Ù q Ù r Ù s) Ú (~р Ù q Ù ~r Ù s) Ú Ú (~р Ù ~q Ù ~r Ù s) Ú (~р Ù ~q Ù r Ù s).
в) (р Ù q Ù r Ù s) Ú (р Ù q Ù r Ù ~s) Ú (~р Ù q Ù r Ù ~s) Ú (р Ù ~q Ù r Ù s) Ú Ú (р Ù ~q Ù r Ù ~s) Ú (~р Ù ~q Ù r Ù ~s).

´