Conjunctive normal form: Revision history

Jump to navigation Jump to search
Template:FlatlistExternal tools:

Template:Endflatlist


For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. Template:Nowrap from current version, Template:Nowrap from preceding version, Template:Nowrap, Template:Nowrap, Template:Nowrap

8 October 2025

  • curprev 22:3722:37, 8 October 2025 imported>The elusive Creature 30,447 bytes +30,447 added nested OR to formulas that are not in CNF