Определить тип формулы с помощью таблиц истинности
Скачать 88 Kb.
|
Определить тип формулы с помощью таблиц истинности: ((A B) (B C)) (A C) (P R) (R (S P)) ((A B) C ) A (B C)) Определить тип формулы с помощью таблиц истинности: ( (A B) C) (A (B C)) ( P Q (Q (R P))) (P Q ( Q ( R P))) (P (Q R)) (Q & P & R) Определить тип формулы с помощью таблиц истинности: ((A B ) C) (A (B C)) (A B) ((A C) (B C)) ((А В) (С В)) ((А С) В) Определить тип формулы с помощью таблиц истинности: (A B) ((A C) (B C)) ((A B) C) ((A C) (A B)) ((A B) ((A C) (B C))) Определить тип формулы с помощью таблиц истинности: ((A B) (B C)) (A C) (P Q) (( S P) Q) ((A B) C) ( A B C) Определить тип формулы с помощью таблиц истинности: ((А В) (С В)) ((А С) В) ((А В) (С В)) ((А С) & В) ((A B) (A C)) (A (B C)) Определить тип формулы с помощью таблиц истинности: ((A B) C) (A (B C)) ((A & B) C) ( A B C) ((A B) C) (A B C) Определить тип формулы с помощью таблиц истинности: (A ( B C)) ((A B) (A C)) (A (B C)) ((A B) (A C)) (A (B C)) (B (A C)) Определить тип формулы с помощью таблиц истинности: (P Q) ((S P) Q) (P (Q R)) (Q (R P)) ((A B) ((A C) (B C))) Определить тип формулы с помощью таблиц истинности: ((A B) ((A C) (B & C))) (P (Q R)) (Q (R P)) (P (Q R)) (Q (R Q)) Определить тип формулы с помощью таблиц истинности: ((A B) (B C)) (A C) (P & R) (R (S P)) ( (A B) C) A (B C)) Определить тип формулы с помощью таблиц истинности: ( A & B & C) (A (B C)) ( P Q (Q (R P))) (P Q ( Q ( R P))) (P (Q R)) (Q & P & R) Определить тип формулы с помощью таблиц истинности: ( ( A B) C) (A (B C)) (A & B) ((A C) (B C)) ((А В) (С В)) ((А С) В) Определить тип формулы с помощью таблиц истинности: (A B) ((A C) (B C)) ((A B) C) & ((A C) (A B)) ((A B) ((A C) (B C))) Определить тип формулы с помощью таблиц истинности: ((A B) (B C)) (A C) (P Q) (( S & P) Q) ((A B) C) (( A B) & C) Определить тип формулы с помощью таблиц истинности: ((А В) (С В)) ((А С) В) ((А В) (С В)) ((А С) & В) ((A B) (A C)) (A (B C)) Определить тип формулы с помощью таблиц истинности: ((A B) C) (A (B C)) ( (A & B) C) ((A & B) C) ((A B) C) ((A B) & C) Определить тип формулы с помощью таблиц истинности: ( A ( B C)) (( A B) ( A C)) (A (B C)) ( (A B) & (A C)) (A (B C)) (B (A C)) Определить тип формулы с помощью таблиц истинности: (P Q) (S P & Q) (P (Q P)) (Q (R Q)) ((A B) ((A C) ( B C))) Определить тип формулы с помощью таблиц истинности: ((A B) ((A C) (B & C)) (P (Q P) ) (Q (R Q)) ( (A B) C) (A B C) Определить тип формулы с помощью таблиц истинности: (A ( B C)) ((A B) (A C)) (A (B C)) ( (A B) & (A C)) (A (B C)) (B (A C)) Определить тип формулы с помощью таблиц истинности: ((A B) (B C)) (A C) (P & R) ( R (Q P)) ( (A B) C) (A B) C) Определить тип формулы с помощью таблиц истинности: ( A & B & C) (A (B C)) (P Q ( Q ( R P))) (P Q ( Q ( R P))) ((P (Q R)) (Q & P & R) Определить тип формулы с помощью таблиц истинности: ( ( A B) C) (A ( B C)) (A & B) ((A C) (B C)) ( (А В) (С В)) (А С В) Определить тип формулы с помощью таблиц истинности: ( A B) (( A C) ( B C)) ((A B) C) & ((A C) (A B)) (A B) ((A C) (B C)) Определить тип формулы с помощью таблиц истинности: ((A & B) (B C) ) (A C) (Q P) ( S & P Q) (A B) C ( A B) & C Определить тип формулы с помощью таблиц истинности: ( А В) ( С В) ( (А & С) В) (А В) (С В) ( (А С) & В) ( A B) ( A C) ( A (B C)) Определить тип формулы с помощью таблиц истинности: (A B) C A (B C) (A & B) C (A & B) C (( A B) C) (( A B) & C) Определить тип формулы с помощью таблиц истинности: (A ( B C)) (A B) (A C) (A (B C)) ( (A B) & (A C)) (A ( B C)) B ( A C) Определить тип формулы с помощью таблиц истинности: (P Q) (S P & Q) P ( Q P) Q (R Q) ((A B) ((A C) ( B C))) Определить тип формулы с помощью таблиц истинности: ((A B) ((A C) ( B & C)) P (Q P) (Q (R Q)) (A B) C (A B) & C Определить тип формулы с помощью таблиц истинности: (A ( B C)) (A B) (A C) (A (B C)) (A B) & (A C) (A (B C)) B (A C) Определить тип формулы с помощью таблиц истинности: ((A B) (B C)) (A C) P Q ( R (Q P)) (A B) C ( A B) & C) Определить тип формулы с помощью таблиц истинности: A & B & C A B C P Q ( Q ( R P)) P Q ( Q ( R P)) ((P (Q R)) (Q & P & R))) Определить тип формулы с помощью таблиц истинности: (( A B) C) (A ( B C)) ( A & B) (( A C) (B C)) (А В) & (С В)) (А С В) Определить тип формулы с помощью таблиц истинности: ( A B) ( A C B C) ((A B) C) & ((A C) (A B)) ((A B) (A C B C)) Определить тип формулы с помощью таблиц истинности: ( (A & B) (B C) ) (A C) (Q P) ( S & P Q) (A B) & C ( A & B) C Определить тип формулы с помощью таблиц истинности: ( А В) ( С В) ( ( А & С) В) (А В) (С В) ( (А С) & В) ( A B) ( A C) ( A (B C)) Определить тип формулы с помощью таблиц истинности: (A B) C A (B C) (A & B) C (A & B) C (A & B) C (A & B) C Определить тип формулы с помощью таблиц истинности: (A ( B C)) (A B) (A C) (A (B C)) ( (A B) & (A C)) (A ( B C)) B ( A C) Определить тип формулы с помощью таблиц истинности: (P Q) (S P Q) P ( Q P) Q ( R Q) ((A B) ((A C) ( B C))) Определить тип формулы с помощью таблиц истинности: ((A B) ((A C) ( B C)) P ( Q P) (Q (R Q)) (A B) C (A B) & C |