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
Summing differential op-amp: Gain, voltage out, algebra ☠ ☠ ☠ Posted on 25th May 201921st August 2019 Petr StejskalLeave a commentPosted in Electronics, Ideal Op-Amps
Non-inverting op-amp: Gain, voltage output, algebra ☠ Posted on 23rd May 201921st August 2019 Petr StejskalLeave a commentPosted in Electronics, Ideal Op-Amps
Summing op-amp: Gain, voltage output, algebra ☠ Posted on 23rd May 201921st August 2019 Petr StejskalLeave a commentPosted in Electronics, Ideal Op-Amps
Differential op-amp: Gain, voltage output, algebra ☠ ☠ Posted on 23rd May 201921st August 2019 Petr StejskalLeave a commentPosted in Electronics, Ideal Op-Amps
Inverting op-amp: Gain, voltage output, algebra ☠ Posted on 23rd May 201921st August 2019 Petr StejskalLeave a commentPosted in Electronics, Ideal Op-Amps