3.4 Negation

Negation is usually represented with the

sign but we will be using ~. Negation is only used on a single proposition and is the simple process of taking a process. So if A = True then ~A = False. The truth table is as follows:

A~A
T	F
F	T

As you can see negation is a fairly easy operation. Where this gets tricky is when they ask you for the negations of other equations. So the may ask for negation of A /\ B. So just write out your truth table for A /\ B and then add another column like this:

A	B	A /\ B	~(A /\ B)
T	T	T	F
T	F	F	T
F	T	F	T
F	F	F	T

Continue To Equivalence

User comments:

No comments yet

---