論理学 – 野村数学研究所

2023年1月6日

2引数が同じ3引数の論理演算子

\[ P\lor\left(P\land Q\right)\Leftrightarrow P \]

2023年1月4日

\[ P\lor\left(Q\land R\right)\Leftrightarrow\left(P\lor Q\right)\land\left(P\lor R\right) \]

2022年12月31日

\[ P\lor\left(Q\lor R\right)\Leftrightarrow P\leftarrow\left(Q\downarrow R\right) \]

2022年12月18日

\[ P\lor\left(Q\land R\right)\Leftarrow\left(P\lor Q\right)\land R \]

2022年12月15日

\[ P\lor\left(Q\land R\right)\Rightarrow P\lor Q \]

2022年12月11日

\[ \left(P\rightarrow Q\right)\land\left(R\rightarrow S\right)\Rightarrow\left(P\lor R\right)\rightarrow\left(Q\land S\right) \]

2022年12月8日

\[ \left(P\land R\right)\rightarrow Q\Leftrightarrow P\rightarrow\left(Q\lor\lnot R\right) \]

2022年12月4日

\[ P\lor Q\Leftarrow P \]

2022年11月29日

\[ P\nleftrightarrow Q\nleftrightarrow R\Leftrightarrow P\leftrightarrow Q\leftrightarrow R \]

2022年11月22日

\[ P\lor\left(Q\land R\right)\Leftrightarrow\left(P\lor Q\right)\land\left(P\lor R\right) \]