Content added Content deleted
imported>mutante mNo edit summary |
imported>mutante mNo edit summary |
||
| Line 20: | Line 20: | ||
Y = ( G ∨ ¬F) ∧ (G ∨ F) |
Y = ( G ∨ ¬F) ∧ (G ∨ F) |
||
= G ∨ (F &and ¬F) = G ∨ 0 = G |
= G ∨ (F ∧ ¬F) = G ∨ 0 = G |
||
Revision as of 19:59, 12 November 2006
X = (( A ∧ B ) ∨ C) ∧ (( A ∨ B ) ∨ D ))
= (A ∧ B) ∨ (C ∧ D)
---
X = ( C ∨ D ∨ F ) ∧ (C ∨ D ∨ G )
= (C ∨ D) ∨ (F ∧ G)
---
U = ( A ∨ B) ∧ ( A ∧ C )
= ?
---
Q = (B ∧ C) ∨ (B ∧ ¬C)
= B ∧ (C ∨ ¬C) = B ∧ 0 = 0
---
Y = ( G ∨ ¬F) ∧ (G ∨ F)
= G ∨ (F ∧ ¬F) = G ∨ 0 = G
Are those right? Please check.