Formulae for the solution of an analogical equation between Booleans using the Sheffer stroke (NAND) or the Pierce arrow (NOR).

Yves Lepage

Browse the full IJCAI paper archive.