Content deleted Content added
m Repairing links to disambiguation pages - You can help! |
→Motivation: truth value, Replaced: truth value → truth value, using Project:AWB |
||
Line 41:
:<math>p \land \neg q \rightarrow s.</math>
If we calculate the [[truth
assignment shown above then we will see that each rule gets the value
'''T'''. In other words, that assignment is a [[mathematical model|model]] of the program. But this program has also other models, for instance
| |||