I am really struggling with this problem, and so are my friends in the same course. Please refer to PDF for the tables.
Any help or guidance is appreciated!
Given a mathematical system M=({0,a,b,c},#, &) where the two operators # and
& are defined in the following two subtables.
1. Verify whether the system is a Boolean algebra.
2. List the complements of elements 0, a, b, and c if the system is a Boolean algebra.
I have started a table that my professor suggested to follow on the pdf, but I have no idea how to start it.
Another hint was that:
I found the following link is quite useful.
http://www.ctp.bilkent.edu.tr/~yavuz/BOOLEEAN.html
In table 1.(b), you can find something like very similar to "0" in table 1.(a).
Now you can say following:
(1) Something # Something' = 0 or a or b or c,
(2) Something & Something' = 0 or a or b or c.
From table 1.(a) and 1.(b), you can find pairs that satisfy your (1) and (2) always.
Any help or guidance is appreciated!
Given a mathematical system M=({0,a,b,c},#, &) where the two operators # and
& are defined in the following two subtables.
1. Verify whether the system is a Boolean algebra.
2. List the complements of elements 0, a, b, and c if the system is a Boolean algebra.
I have started a table that my professor suggested to follow on the pdf, but I have no idea how to start it.
Another hint was that:
I found the following link is quite useful.
http://www.ctp.bilkent.edu.tr/~yavuz/BOOLEEAN.html
In table 1.(b), you can find something like very similar to "0" in table 1.(a).
Now you can say following:
(1) Something # Something' = 0 or a or b or c,
(2) Something & Something' = 0 or a or b or c.
From table 1.(a) and 1.(b), you can find pairs that satisfy your (1) and (2) always.
Attachments

176.5 KB Views: 11