Content added Content deleted
imported>mutante mNo edit summary |
imported>mutante mNo edit summary |
||
Line 1:
=== 1 ===
X = (( A ∧ B ) ∨ C) ∧ (( A ∨ B ) ∨ D ))▼
Q = ( A ∧ B ) ∨ (A ∧ C)
= A ∧ (B ∨ C)
=== 2 ===
Q = ( C ∨ B) ∧ (A ∨ C)
= C ∨ (B ∧ A)
=== 3 ===
Y = ( A ∧ B) ∨ (C ∧ D) &or ( D ∧ A ) ∨ ( E ∧ C) =
(A ∧ (B ∨ D)) ∨ (C ∧ (D ∨ E))
=== 4 ===
Z = ( A ∧ B ) ∨ ( B ∧ A)
= A ∧ B
=== 5 ===
Y = (¬C ∨ D ∨ F) ∧ (¬C ∨ E ∨ G)
= ¬C ∧ ((D ∧ F) ∧ (G ∨ E))
=== 6 ===
▲ X = (( A ∧ B ) ∨ C) ∧ (( A ∨ B ) ∨ D ))
= (A ∧ B) ∨ (C ∧ D)
=== 7 ===
X = ( C ∨ D ∨ F ) ∧ (C ∨ D ∨ G )
= (C ∨ D) ∨ (F ∧ G)
=== 8 ===
U = ( A ∨ B) ∧ ( A ∧ C )
= ?
=== 9 ===
Q = (B ∧ C) ∨ (B ∧ ¬C)
= B ∧ (C ∨ ¬C) = B ∧ 0 = 0
=== 10 ===
Y = ( G ∨ ¬F) ∧ (G ∨ F)
= G ∨ (F ∧ ¬F) = G ∨ 0 = G
Are those right? I dont think so. Please check.
[[Category:Maths]]
|
Revision as of 20:08, 12 November 2006
1
Q = ( A ∧ B ) ∨ (A ∧ C) = A ∧ (B ∨ C)
2
Q = ( C ∨ B) ∧ (A ∨ C) = C ∨ (B ∧ A)
3
Y = ( A ∧ B) ∨ (C ∧ D) &or ( D ∧ A ) ∨ ( E ∧ C) = (A ∧ (B ∨ D)) ∨ (C ∧ (D ∨ E))
4
Z = ( A ∧ B ) ∨ ( B ∧ A) = A ∧ B
5
Y = (¬C ∨ D ∨ F) ∧ (¬C ∨ E ∨ G) = ¬C ∧ ((D ∧ F) ∧ (G ∨ E))
6
X = (( A ∧ B ) ∨ C) ∧ (( A ∨ B ) ∨ D )) = (A ∧ B) ∨ (C ∧ D)
7
X = ( C ∨ D ∨ F ) ∧ (C ∨ D ∨ G ) = (C ∨ D) ∨ (F ∧ G)
8
U = ( A ∨ B) ∧ ( A ∧ C ) = ?
9
Q = (B ∧ C) ∨ (B ∧ ¬C) = B ∧ (C ∨ ¬C) = B ∧ 0 = 0
10
Y = ( G ∨ ¬F) ∧ (G ∨ F) = G ∨ (F ∧ ¬F) = G ∨ 0 = G
Are those right? I dont think so. Please check.