This truth table demonstrates how AND and OR are ... a form using specific logic gates. There are math identities and simplification rules that designers can use to accomplish this refactoring.