Provable formulas

From LLWiki
(Difference between revisions)
Jump to: navigation, search
(List of provable formulas just started)

Revision as of 18:42, 19 April 2012

This page is a stub and needs more content.

Distributivities

A\plus (B\with C) \limp (A\plus B)\with (A\plus C)

A\tens (B\parr C) \limp (A\tens B)\parr C

Factorizations

(A\with B)\plus (A\with C) \limp A\with (B\plus C)

Retrieved from "http://140.77.166.78/mediawiki/index.php?title=Provable_formulas&oldid=547"
Personal tools