Question

[((pvq) => r) /\r]=>(p/\q)

Jutro mam z tego kartkówkę ,rozwiązałem to sam ,ale chciałbym żeby ktoś jeszcze to rozwiązał zebym sobie porównał czy dobrze robie

Answer 1

p q r   (pvq)   (pvq) => r)  (p/\q)   [((pvq) => r) /\r]       [((pvq) => r) /\r]=>(p/\q)

0 0 0     0           1             0             0                                 1

0 0 1     0           1             0             0                                 1

0 1 0     1           0             0             0                                 1

0 1 1     1           1             0             0                                 1

1 0 0     1           0             0             0                                 1

1 0 1     1           1             0             0                                 1

1 1 0     1           0             1             0                                 1

1 1 1     1           1             1             1                                 1

 

Jakoś tak ;)