produces a value of true if both of its propositions are false. It produces a value of false if at least one of its operands is true. The truth table for the logical NOR of two propositions is shown below:
e
P Q P NOR Q
F
m
T F
pl
T T F
F F
T
sa
F T F
ft
We can represent the logical NOR of these two propositions as the statement P ↓ Q.
ra
Implication (IF) P = ‘it is raining’
D
Q = ‘I have an umbrella’ T = ‘I will get wet’ When certain propositions are true, we can infer or imply other elements of truth. Consider the proposition P ⋀ Q. If it is raining and you have an umbrella, we can infer that you will not get wet, or ¬T. Implication is represented using the "******ebook converter DEMO - www.ebook-