а) из А следует В;
б) из В следует А;
в) ни одного из них не следует из другого.
49. Если при проверке правильности рассуждения получен результат 
, где Р – конъюнкция посылок, Q – заключение. Означает ли это, что рассуждение правильно?
а) да;
б) нет;
в) может быть правильным в одних случаях и неправильным в других.
50. Каково максимальное число слагаемых СДНФ для формулы 
?
а) n;
б) n2;
в) 
.
51. Каково максимальное число сомножителей СКНФ невыполнимой формулы 
?
а) n;
б) n2;
в) .
52. Если СДНФ формулы S(х1, х2, х3) содержит 3 слагаемых, сколько сомножителей содержит ее СКНФ?
а) 3;
б) 4;
в) 5.
