HWC axioms HWC001-0.ax Definitions of AND, OR and NOT and(n0 , n0 ) = n0 cnf(and definition1 , axiom) and(n0 , n1 ) = n0 cnf(and definition2 , axiom)

First Page		Document Content
Date: 2017-03-18 22:04:10		HWC axioms HWC001-0.ax Definitions of AND, OR and NOT and(n0 , n0 ) = n0 cnf(and definition1 , axiom) and(n0 , n1 ) = n0 cnf(and definition2 , axiom) Add to Reading List Source URL: math.chapman.edu Download Document from Source Website File Size: 39,27 KB Share Document on Facebook