2023-02-04から1日間の記事一覧
真偽値の変数 , およびその否定 をリテラルという。リテラル, およびリテラルを論理和 で繋げた論理式を節という。さらに, 節, および節を論理積 で繋げた論理式を節形式という。例えば, , はリテラル, , , は節, , , , は節形式。 変数 からなる節形式 があ…
真偽値の変数 , およびその否定 をリテラルという。リテラル, およびリテラルを論理和 で繋げた論理式を節という。さらに, 節, および節を論理積 で繋げた論理式を節形式という。例えば, , はリテラル, , , は節, , , , は節形式。 変数 からなる節形式 があ…