Propositional Logic
- 〈Wff〉 ::= 〈Wff〉 -> 〈Disjunction〉
| 〈Disjunction〉
- 〈Disjunction〉 ::= 〈Disjunction〉 or 〈Conjunction〉 | 〈Conjunction〉
- 〈Conjunction〉 ::= 〈Conjunction〉 and 〈Literal〉 | 〈Literal〉
- 〈Literal〉 ::= not 〈Literal〉 | 〈Variable〉 | ( 〈Wff〉 )
- NB. often allow & for "and", etc.
- -- Syntax of Well Formed Formulae (Wff) --
- 〈Disjunction〉 ::= 〈Disjunction〉 or 〈Conjunction〉 | 〈Conjunction〉
Type a Wff in the area, press 'go':
- CNF: conjunctive normal form.
- DNF: disjunctiove normal form.
- tautology: always true for all cases of variables being true/false.
- contradiction: never true for any cases of variables being true/false.
- satisfiable: sometimes true for some cases of variables being true/false.
- DNF: disjunctiove normal form.