Lex/Yacc command line "Disjunctive Normal Form" tool
Lex/Yacc command line "Disjunctive Normal Form" tool
$ dnf
dnf: Quit with ^D
> (a || b) && (c || d)
(((c && a) || (d && a)) || ((c && b) || (d && b)))
> !(a || b) && (c || d)
((c && ((!a) && (!b))) || (d && ((!a) && (!b))))