Question

Rozwiaż zadania tautologiczne:

a) ~(p^q) => q

b) ~[(p=>q)^p) => q

Proszę o pilną pomoc!!!!

Answer 1

p|q|(p^q)|~(p^q)|~(p^q)=>q|

1|1|   1   |     0   |       1      |

1|0|   0   |     1   |       0      |

0|1|   0   |     1   |       1      |

0|0|   0   |     1   |       0      |

a) zdanie ~(p^q) => q nie jest tautologią

p|q|(p=>q)|(p=>q)^p|~[(p=>q)^p]|~[(p=>q)^p]=>q|

1|1|    1    |      1     |        0       |1

1|0|    0    |      0     |        1       |0

0|1|    1    |      0     |        1       |1

0|0|    1    |      0     |        1       |0

b) zdanie ~[(p=>q)^p) => q nie jest tautologią

 

Mam nadzieję że wszystko się zgadza