Anisomorphism

Joined 24 January 2021
Tags: Mobile edit Mobile web edit
Line 39: Line 39:
| 1 || 1 || 0
| 1 || 1 || 0
|}
|}
XOR is only "true" or 1 when x or y but not both, are 1.
XOR is only "true" or 1 when x or y but not both, are 1. Disjunctive normal form says that we can view the x, y entries as unary operators which return the input with no change, combine these as given, and take the OR of all of them for the total connective form of the truth table. Here is the second line: <math> x\and\neg y</math>


= Read prototype =
= Read prototype =