The NOR gate is a digital logic gate that implements logical NOR - it behaves according to the truth table to the right.
I want to implement the following predicates in prolog and use them for truth-tables: and/2, or/2, nand/2, nor/2, xor/2 Maybe …
prolog implementation xor clpb nor