人気ブログランキング |

[(X∧Y∧Z)→W]⟷[X→{Y→(Z→W)}]

X→{Y→(Z→W)}
⟷¬X∨{Y→(Z→W)}
⟷¬X∨{¬Y∨(Z→W)}
⟷¬X∨{¬Y∨(¬Z∨W)}
⟷¬X∨¬Y∨¬Z∨W
⟷(¬X∨¬Y∨¬Z)∨W
⟷¬(X∧Y∧Z)∨W
⟷(X∧Y∧Z)→W


かっこの扱いに自信がない。
by tomoarrow | 2015-09-21 07:00 | モチーフについて | Comments(0)