Skip to content
  • Home
  • Problems solved
  • Pictures taken
  • About me
I had a Crack at it

Month: August 2019

PL to Conjunctive Normal Form (CNF): ((not (A xor B)) implies C) ☠☠

Posted on 21st August 201921st August 2019 Petr StejskalLeave a commentPosted in Computational logic, Propositional Logic

PL to Conjunctive Normal Form (CNF): (if A then B else (C implies D)) ☠☠

Posted on 21st August 201921st August 2019 Petr StejskalLeave a commentPosted in Computational logic, Propositional Logic

PL to Conjunctive Normal Form (CNF): ((P and R) xor (S or T)) ☠☠☠

Posted on 21st August 201921st August 2019 Petr StejskalLeave a commentPosted in Computational logic, Propositional Logic

PL to Conjunctive Normal Form (CNF): (T implies (P or Q)) ☠

Posted on 21st August 201921st August 2019 Petr StejskalLeave a commentPosted in Computational logic, Propositional Logic

Recent Posts

  • PL to Conjunctive Normal Form (CNF): ((not (A xor B)) implies C) ☠☠
  • PL to Conjunctive Normal Form (CNF): (if A then B else (C implies D)) ☠☠
  • PL to Conjunctive Normal Form (CNF): ((P and R) xor (S or T)) ☠☠☠
  • PL to Conjunctive Normal Form (CNF): (T implies (P or Q)) ☠
  • Summing differential op-amp: Gain, voltage out, algebra ☠ ☠ ☠

Archives

  • August 2019
  • May 2019

∞ 2019 I Had a Crack at it, ihadacrackatit.com | Last modified: 21st August 2019

The rumour has it that I had a Crack at it is a sisters project of The Famous Literary Group, which is an international branch out of Slavná literární skupina Kerouac.

Made with & in Nora (Sweden), Karlovy Vary (Czech Republic) and Edinburgh (Scotland)

Site map