Question

Sprawdź czy podane wyrażenie jest prawem logicznym:
~(p ^ q ) <=> ( ~pv ~q )

Answer 1

~(p ^ q ) <=> ( ~pv ~q )
1) p=0, q=0
lewa strona: p ^ q = 0 czyli ~(p ^ q )=1
prawa strona: ~p=1, ~q=1 czyli ~pv ~q =1

2) p=1, q=0
lewa strona: p ^ q = 0 czyli ~(p ^ q )=1
prawa strona: ~p=0, ~q=1 czyli ~pv ~q =1

3) p=0, q=1 analogicznie do poprzedniego

4) p=1, q=1
lewa strona: p ^ q = 1 czyli ~(p ^ q )=0
prawa strona: ~p=0, ~q=0 czyli ~pv ~q =0

Podane wyrażenie jest prawem logicznym.