Pages that link to "Item:Q2965238"
From MaRDI portal
The following pages link to The Properties of Determinative Disjunctive Normal Forms and Systems Based on Them (Q2965238):
Displaying 3 items.
- On proof normal forms for some systems of classical propositional logic (Q2826425) (← links)
- Solution methods of logical inequality groups of disjunctive normal form in the Luk propositional calculus system (Q2924340) (← links)
- Determining the <I>SHOIN(D)</I>-Satisfiability with a Complete Disjunctive Normal Form Group (Q3014301) (← links)