この論理式の変形って正しいですか? よろしくお願いします。 ( P -> Q ) and P -> Q = ( not P or Q ) and P -> Q = not ( ( not P or Q ) and P ) or Q = P or not Q or not P or Q = ( P or not P ) or ( Q or not Q ) = true
>正しくは >= not ( ( not P or Q ) and P ) or Q >= ( not ( not P or Q ) or not P ) or Q >= ( ( P and not Q ) or not P ) or Q >でしょ。奥付見て手紙でも送ったれ。 1983年の古い本なんで著者も知ってるでしょうかねえ。
続けて = ( ( P or not P ) and ( not Q or not P ) ) or Q = ( true and ( not Q or not P ) ) or Q = ( not Q or not P ) or Q = ( not Q or Q ) or not P = true or not P = true