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