Logichard
0:00.0
In a 3-valued Post logic with truth values , we define the operations as follows:
- Conjunction:
- Disjunction:
- Negation:
- Cyclic shift:
Given the truth assignments , , and , evaluate the truth value of the formula:
In a 3-valued Post logic with truth values , we define the operations as follows:
- Conjunction:
- Disjunction:
- Negation:
- Cyclic shift:
Given the truth assignments , , and , evaluate the truth value of the formula: