tabelka
p------q--------p∧q-----~(p∧q)-----~p----~q------(~pv~q)------~(p^q)<=>(~pv~q)
1------0 ------- 0 --------- 1-----------0------1---------1------------------1
1------1-------- 1-----------0-----------0------0---------0------------------1
0 -----0---------0-----------1-----------1------1---------1------------------1
0------1---------0-----------1-----------1------0---------1------------------1
jest tautologia
