回答編集履歴
2
コメント修正
test
CHANGED
|
@@ -14,13 +14,13 @@
|
|
|
14
14
|
|
|
15
15
|
! (!(!a*b)*!(a*!b)) // 否定のひとつをド・モルガンの定理で展開
|
|
16
16
|
|
|
17
|
-
!((a+!b )*(!a+b)) //
|
|
17
|
+
!((a+!b )*(!a+b)) // さらにド・モルガンで展開
|
|
18
18
|
|
|
19
|
-
! ( a * !a + a*b + !a*!b
|
|
19
|
+
! ( a * !a + a*b + !a*!b + !b*b ) //積和系になった！
|
|
20
20
|
|
|
21
|
-
! ( 0 + ab + !a!b + 0 ) // a*!aは常にfalse(0)になる
|
|
21
|
+
! ( 0 + a*b + !a*!b + 0 ) // a*!aは常にfalse(0)になる
|
|
22
22
|
|
|
23
|
-
! ( a*b + !(
|
|
23
|
+
! ( a*b + !(a+b) ) // 積和系で0の項は無視 !a*!bを2重否定してド・モルガンの定理
|
|
24
24
|
|
|
25
25
|
!(a*b) * (a+b) // 最後の否定をド・モルガンで展開
|
|
26
26
|
|
1
大文字小文字
test
CHANGED
|
@@ -26,6 +26,6 @@
|
|
|
26
26
|
|
|
27
27
|
!(a*b) は NAND なので
|
|
28
28
|
|
|
29
|
-
命題 = (
|
|
29
|
+
命題 = (A NAND B) AND ( A OR B )
|
|
30
30
|
|
|
31
31
|
//証明終了
|