Proving Theorems, Constants, and Variables

Question 1

All new theorems can be proved using the axioms and the old theorems by two methods:

Answer 1

algebric process and perfect induction

Question 2

There are only two constants in switching algebra:

Answer 2

True (T) and False (F), represented by 1 and 0, respectively

Question 3

Switching algebra is not an algebra of numbers, but rather an algebra of…

Answer 3

states

Question 4

The constants 0 and 1 do not represent quantities

Answer 4

repeat

Question 5

A literal is a what?

Answer 5

a variable or the complement of a variable, x, x’, y, y’, z, z’

The term literal is used to simplify discussions