Tabela prawdy dla implikacji  
p q p ⇒ q
1 1 1
1 0 0
0 1 1
0 0 1