Logic — truth table (implication)
Truth table for A implies B.
Make it your own.
title "Implication A -> B"
type truthtable
inputs A B
output Y
row 0 0 -> 1
row 0 1 -> 1
row 1 0 -> 0
row 1 1 -> 1Truth table for A implies B.
title "Implication A -> B"
type truthtable
inputs A B
output Y
row 0 0 -> 1
row 0 1 -> 1
row 1 0 -> 0
row 1 1 -> 1