Example: Checking Relations
using
Full Enumeration or ÒTruth TableÓ method
Full Enumeration or ÒTruth TableÓ method
1
1
1
0
1
1
1
0
1
0
0
1
1
1
0
0
1
0
1
1
0
0
1
0
0
0
((a
û
b) ¨ c) = (a ¨ c) ú (b ¨ c)
c
b
a