Template:論理演算

これはこのページの過去の版です。Emk (会話 | 投稿記録) による 2022年11月21日 (月) 09:30 （個人設定で未設定ならUTC）時点の版 (不必要に縦長になる問題を修正)であり、現在の版とは大きく異なる場合があります。

表話編歴論理演算
恒真式 ( $\top$ )
NAND ( $\uparrow$ ) 逆含意 ( $\leftarrow$ ) IMP ( $\rightarrow$ ) OR ( $\lor$ )
否定 ( $\neg$ ) XOR ( $\oplus$ ) 同値 ( $\leftrightarrow$ ) 命題
NOR ( $\downarrow$ ) 非含意 ( $\nrightarrow$ ) 逆非含意 ( $\nleftarrow$ ) AND ( $\land$ )
矛盾 ( $\bot$ )