|
Table of Contents
What is a
Logical Proposition
True Value
and
NOT
AND and OR
XOR
IMP
EQV
Logical Formula
and
Calculation Order
|
When two predicates are equivalent (abbr. EQV, same value) they become one predicate. In other words, "the flower is red" EQV "the fruit is sweet" has the same value as "the flower is red therefore, its fruit is sweet." This means that if the flower does not turn red, its fruit will not be sweet; if it turns red, its fruit will be sweet.
The following shows the true value list.
| A | B | A EQV B |
| F | F | T |
| F | T | F |
| T | F | F |
| T | T | T |
Note that the result will be true only when both of the propositions' truths are common. In addition, note that the truth is reversed from XOR. The formulas are shown below.
| F EQV F = T |
| F EQV T = F |
| T EQV F = F |
| T EQV T = T |
|
