Sprawdz czy nastepujące wyrażenie jest tautologia: p=>(p∨q)

p q (p v q) (p=>(p v q)) 0 0 0 1 0 1 1 1 1 0 1 1 1 1 1 1 a => b jest niespełnione tylko wtedy gdy a = 1, b = 0. W tabelce nie ma takiego przypadku, wiec jest to tautologia

p=>(p∨q) p q p∨q p=>(p∨q) 1 0 1 1 0 1 1 1 1 1 1 1 0 0 0 1 czyli wyrazenie jest tautologia