Provable formulas

From LLWiki
(Difference between revisions)
Jump to: navigation, search
(List of provable formulas just started)
 
m (Link to Non provable formulas.)
Line 10: Line 10:
   
 
<math>(A\with B)\plus (A\with C) \limp A\with (B\plus C)</math>
 
<math>(A\with B)\plus (A\with C) \limp A\with (B\plus C)</math>
  +
  +
In many of the above cases the [[Non provable formulas|converse implication does not hold]].

Revision as of 19:46, 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)

In many of the above cases the converse implication does not hold.

Personal tools