Jump to content
MediaWiki

User:Anonymous Dissident/Math1

From mediawiki.org

For (O1,O2,O3,…,On)∈{0,1}

OR[O1,O2,O3,…,On]=1−0O1+…+On


NOR[O1,O2,O3,…,On]=0O1+…+On


CONTRADICTION[O1,O2,O3,…,On]=0


TAUTOLOGY[O1,O2,O3,…,On]=1


AND[O1,O2,O3,…,On]=O1×ばつ…×ばつOn


NAND[O1,O2,O3,…,On]=1−O1×ばつ…×ばつOn


XOR[O1,O2,O3,…,On]=|O1−|O2−|…−|On−1−On|||…|


XNOR[O1,O2,O3,…,On]=1−|O1−1−|O2−1−|…−|On−1−On|||…|


On[O1,O2,O3,…,On]=On


NOTOn[O1,O2,O3,…,On]=1−On


MATERIALNONIMPLICATION[O1,O2,O3,…,On]=1−(0O1×ばつ…×ばつOn−1+O1×ばつ…×ばつOn)


MATERIALIMPLICATION[O1,O2,O3,…,On]=0O1×ばつ…×ばつOn−1+O1×ばつ…×ばつOn


CONVERSENONIMPLICATION[O1,O2,O3,…,On]=0O1+…+On−1×ばつ(O1+…+On)


CONVERSEIMPLICATION[O1,O2,O3,…,On]=1−0O1+…+On−1×ばつ(O1+…+On)

AltStyle によって変換されたページ (->オリジナル) /