The following pages link to (Q4419472):
Displaying 9 items.
- Prominent classes of the most general subsumptive solutions of Boolean equations (Q507645) (← links)
- On the suppression of variables in Boolean equations (Q628298) (← links)
- Composition of Post classes and normal forms of Boolean functions (Q856872) (← links)
- A new calculation for Boolean derivative using Cheng product (Q1952931) (← links)
- From Boolean logic to switching circuits and automata. Towards modern information technology (Q2269726) (← links)
- Semantic forgetting in answer set programming (Q2389674) (← links)
- Using variable-entered Karnaugh maps to produce compact parametric general solutions of Boolean equations (Q2885541) (← links)
- McColl and Minimization (Q3019773) (← links)
- A purely map procedure for two-level multiple-output logic minimization (Q3438797) (← links)
