Boolean normal form - Learning Logic for Computer Science [https://logic4free.informatik.uni-kiel.de/llocs/Boolean_normal_form] - 2022-12-31 22:54:26 - public:stevetao Boolean, Course, Logic, Math, Math-Logic, Normal-Form, Propositional-Logic - 7 | id:1294760 -
600.325/425 - Declarative Methods - JHU CS [http://cs.jhu.edu/~jason/325/] - 2019-12-10 04:12:50 - public:stevetao Computer-Science, Declarative, Logic, Normal-Form, Programming - 5 | id:272202 -
How to Convert a Formula to CNF [https://www.cs.jhu.edu/~jason/tutorials/convert-to-CNF.html] - 2019-12-10 02:28:15 - public:stevetao CNF, Conjunctive, Normal-Form - 3 | id:272201 -