10/06/06 19:34:46 OlNCOOfX
((A→B)∧(B⇒A))→F(A)
≡(￢((￢A)∨(B))∧((￢B)∨(B∧A)))∨F(A)
≡(A∧(￢B))∨(B∧(￢A))∨F(A)
≡(AxorB)∨F(A)
だろ。F(A)に収束はしないと思う。
ABF
111 1
110 0
101 1
100 1
011 1
010 1
001 1
000 0
10/06/06 19:34:46 OlNCOOfX
((A→B)∧(B⇒A))→F(A)
≡(￢((￢A)∨(B))∧((￢B)∨(B∧A)))∨F(A)
≡(A∧(￢B))∨(B∧(￢A))∨F(A)
≡(AxorB)∨F(A)
だろ。F(A)に収束はしないと思う。
ABF
111 1
110 0
101 1
100 1
011 1
010 1
001 1
000 0