>>89
いやいや、それだと恒真でない論理式になっていると思う。
例えばxが真で、yとzが偽のとき、P4全体は偽にならない?