Are there any conventions for writing logic statements for combinations of logic gate functions? I am teaching logic gates. I would like to know if anyone knows if there are any conventions for writing combinations of logic gate functions. For example
NOR  gate =&gt; NOT (A OR B)
NAND  gate =&gt;  NOT (A AND B)

Would it be acceptable to represent the above functions as
NOR  gate =&gt; NOT (A OR B)  as A NOR B
NAND  gate =&gt;  NOT (A AND B) as A NAND B ?
You ask whether your proposed representation would be acceptable. Offhand, I would be cautious about infix notation for these negative operators.
In English, A NOR B would be expressed as &quot;neither A nor B&quot;. A NAND B would be expressed as &quot;not A and B&quot;. Often, intensifiers will also be prefixed to emphasise a NAND or NOR case and clarify the scope of the negative, such as &quot;not both A and B&quot;, or &quot;not any of A or B&quot;.
In both cases, the negative is introduced first in English, before the list of items, which accords more closely with the structure of the representations you are trying to replace - NOT(A OR B) etc..
Even on a technical front, I'm not familiar with a programming language that has NOR or NAND infix operators.
If you must contract these expressions or use the name of the operator, I would suggest NOR(A,B) and NAND(A,B).
Another problem is when there are more than two inputs. Unlike AND and OR, NAND and NOR are not associative, whereas &quot;nor&quot; in English has the same meaning and associative property as &quot;or&quot; (it's the introducing word &quot;neither&quot; which applies negation to the whole set, after they have been ORed together).
So NOT(A OR B OR C) corresponds to the English &quot;neither A nor B nor C&quot; (i.e. none of the set is true), but that is not the same as A NOR B NOR C (the meaning of which I can't mentally parse into English, and I'd have to sit down and write out a truth table to be sure).
Nand, of course, does not exist as an English word, but A NAND B NAND C is equally different from &quot;not A and B and C&quot; in English (i.e. not all of the set is true) and from NOT(A AND B AND C) formally.