boolean-algebra-calculator
boolean algebra \neg(A\wedge B)\wedge (\neg A\vee B)\wedge(\neg B\vee B)
en