### 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 ☠ ☠ ☠