Хелпикс

Главная

Контакты

Случайная статья





p˅q)→r; (~p˄~q)˅r



№2

1) p→(q˄~(q→p))

 

p q (q→p) ~(q→p) (q˄~(q→p)) p→(q˄~(q→p))
И И И Л Л Л
И Л Л И Л Л
Л И И Л Л И
Л Л И Л Л И

Формула выполнима.

2) ((p˅~p)→q)˄~q

 

p q ~p ~q (p˅~p) ((p˅~p)→q) ((p˅~p)→q)˄~q
И И Л Л И И Л
И Л Л И И Л Л
Л И И Л И И Л
Л Л И И И Л Л

Логическое противоречие.

3) (~p˅~q)→p

p q ~p ~q (~p˅~q) (~p˅~q)→p
И И Л Л Л И
И Л Л И И И
Л И И Л И Л
Л Л И И И Л

Формула выполнима


 

№3

1) (p˅q)→r; (~p˄~q)˅r

 

p q r ~p ~q (p˅q) (p˅q)→r (~p˄~q) (~p˄~q)˅r
И И И Л Л И И Л И
И Л И Л И И И Л И
И И Л Л Л И Л Л Л
Л И И И Л И И Л И
И Л Л Л И И Л Л Л
Л И Л И Л И Л Л Л
Л Л И И И Л И И И
Л Л Л И И Л И И И

Высказывания являются эквивалентными.

2) (p˄q)→r; ~r˄(p˅~q)

 

p q r ~q ~r (p˄q) (p˄q)→r (p˅~q) ~r˄(p˅~q)
И И И Л Л И И И Л
И Л И И Л Л И И Л
И И Л Л И И Л И И
Л И И Л Л Л И Л Л
И Л Л И И Л И И И
Л И Л Л И Л И Л Л
Л Л И И Л Л И И Л
Л Л Л И И Л И И И

Высказывания совместимы по истинности.

№4 Дополнительное задание

4) (p˅~q)→~(~p˅q);

Если есть работа или нет зарплаты, то не верно, что нет работы или есть зарплата.

5) (p→q)↔(~q→~p);

Если есть работа, то есть и зарплата, но это верно тогда и только тогда, когда выполняется следующее условие: если нет работы, то нет и зарплаты.



  

© helpiks.su При использовании или копировании материалов прямая ссылка на сайт обязательна.