__Introduction__

Mechanical logic gates have dedicated inputs and outputs and normally conduct energy through them in one direction. There is a regulated flow of mechanical energy that is conducted through each mechanical logic gate. Each of these logic gates has a high or low default state which they will repeatedly return to after mechanical energy has been conducted through them.

__Logical Connectives__

Logic is reasoning conducted for validity. Logical operations are used to sort and validate logical statements. There are three types of logical connectives used in logical operations: conjunction, disjunction and negation.

The **conjunction** symbol ∧ is used for **and**: A and B is notated A∧B

There are two conjunct inputs and one output statement or conjunction. If both inputs are true, then the conjunction output is true. If both inputs are false, then the conjunction output is false. If one of the two input conjuncts is opposite than the other, then the conjunction output is true.

The **disjunction** symbol ∨ is used for **or**: A or B is notated A∨B

There are two disjunct inputs and one output statement or disjunction. If both inputs are true, then the disjunction outputs are false. If both inputs are false, then the disjunction outputs are true. If one of the two input disjuncts is opposite than the other, then the disjunction output is true.

The **negation** symbol ∼ is used for **not**: not A is notated ∼A

There are two inputs and one output negation statement. If both inputs are true, then the negation output is true. If both inputs are false, then the negation outputs are false. If one of the two input disjuncts is opposite than the other, then the disjunction output is false.