Register | Login | |||||
Main
| Memberlist
| Active users
| Calendar
| Chat
| Online users Ranks | FAQ | ACS | Stats | Color Chart | Search | Photo album |
| |
0 users currently in Programming. |
User | Post |
Jagori Posts: 122/155 |
I haven't looked at your table, but for the record, "implication" means "if A then B". If A and B are the inputs, then it works out like so:
A = 1, B = 1: A=>B holds (1) A = 1, B = 0: A=>B doesn't hold (0) A = 0, B = 1: A=>B is trivially true (1) A = 0, B = 0: same as above (1) |
Guy Perfect Posts: 349/451 |
Just as an experiment (and because I was bored), I decided to attempt to create logical functions that generated each of the 16 possible truth tables given two operands. What I came up with is the following:
A = 1100 Xor is Exclusive Or, Eqv is Equivalence and Imp is Implication (which I have no idea what the logic is behind it). They're only used once in the left-hand column, but an equivalent expression is provided in the right-hand column where applicable. I am uncertain if my right-hand equivalents can be optimized, but I'm fairly certain the left-hand column is as good as it gets. |