Udowodnij prawdziwość poniższych praw KRZ. na5tyk: ¬(p∨q)≡(¬p∧¬q) (prawo de Morgana negacji alternatywy)

Saizou : a z jakich aksjomatów możesz korzystać ?

na5tyk: TO znaczy na zajęciach robiliśmy taki typ zadań teblką p|q 1|1 1|0 0|1 0|0 i tak pokolei, aż doszliśmy do wyniku.

Saizou : to nie jest dowód tylko sprawdzasz za pomocą metody zero−jedynkowej czy dana formuła jest tautologię

na5tyk: To jednak braliśmy przykłady z innego zadanie do tautologi xd

Saizou : to zacznij pisać tabelkę p | q | p v q| ¬(p v q) | ¬p | ¬q | ¬p ∧ ¬q | ¬(p v q)⇔(¬p ∧ ¬q) powinny Ci wyjśc same jedynki w ostatniej kolumnie

na5tyk: p | q | ¬p | ¬q | p v q | ¬ (p v q ) | ¬p v ¬q | ¬(p∨q)≡(¬p∧¬q) 1 | 1 | 0 | 0 | 1 | 0 | 1 | 0 1 | 0 | 0 | 1 | 1 | 0 | 0 | 1 0 | 1 | 1 | 0 | 1 | 0 | 0 | 1 0 | 0 | 1 | 1 | 0 | 1 | 0 | 1 Tak mi wyszło W którym miejscu jest błąd?

Saizou : przedostatnia kolumna ma być ¬p ∧ ¬q a masz ¬p v ¬q dla kolejności wartościowania jaką nadałeś, powinno być ¬p ∧ ¬q 0 0 0 1 ¬(p v q)⇔(¬p ∧ ¬q) 1 1 1 1

na5tyk: OK. Dzięki wielkie