已知公式[tex=5.071x1.357]okShytvk/vqsDHJ50bL+ydjAxJ/oaVK98QIPdwFI7MFPz01xkSPTGN46eLz6e9HU[/tex]是矛盾式,求公式 [tex=7.286x1.357]okShytvk/vqsDHJ50bL+ybQS+I6z9IC4nqixfc1iX4r0NxBHRlX2fkIIxeW+IVHC[/tex]的成真和成假赋值。