用命题变量[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex]、[tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]、[tex=0.5x0.786]Tg0I1PUwmDJ7uXa9+yiYMA==[/tex]和[tex=0.5x0.786]ICKY+F5VdoSQrRn/wUUOyw==[/tex]构造一个复合命题，使它在这些命题变量中恰有三个为真时取真值，其他情况下为假。
举一反三
- 试找出一个含命题变元[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex]、[tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]和[tex=0.5x0.786]Tg0I1PUwmDJ7uXa9+yiYMA==[/tex]的复合命题，在[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex]、[tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]和[tex=0.5x0.786]Tg0I1PUwmDJ7uXa9+yiYMA==[/tex]中恰有两个为真时该命题为真，否则为假。
- 命题[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex] NAND [tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]在[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex]或[tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]或两者均为假时为真，而当[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex]和 [tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]均为真时为假。命题[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex] NOR [tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]只在[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex]和[tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]均为假时为真，否则为假。命题[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex] NAND [tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]和[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex] NOR [tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]分别表示为[tex=1.786x1.357]db85pjiUlp6DuSz3t/lTzw==[/tex]和[tex=2.071x1.214]vV5XP+CRmbDUGTiYqjNqnw==[/tex]。只涉及命题变元[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex]和[tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]的复合命题有多少不同的真值表?
- 命题[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex] NAND [tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]在[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex]或[tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]或两者均为假时为真，而当[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex]和 [tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]均为真时为假。命题[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex] NOR [tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]只在[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex]和[tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]均为假时为真，否则为假。命题[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex] NAND [tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]和[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex] NOR [tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]分别表示为[tex=1.786x1.357]db85pjiUlp6DuSz3t/lTzw==[/tex]和[tex=2.071x1.214]vV5XP+CRmbDUGTiYqjNqnw==[/tex]。只用运算符[tex=0.5x1.214]HncBEvf7QrpbVngWgJZA0g==[/tex]构造一个等价于[tex=2.0x1.0]HFqbj5uZFZVrH/+vs9S2/A==[/tex]的命题
- 命题[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex] NAND [tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]在[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex]或[tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]或两者均为假时为真，而当[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex]和 [tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]均为真时为假。命题[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex] NOR [tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]只在[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex]和[tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]均为假时为真，否则为假。命题[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex] NAND [tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]和[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex] NOR [tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]分别表示为[tex=1.786x1.357]db85pjiUlp6DuSz3t/lTzw==[/tex]和[tex=2.071x1.214]vV5XP+CRmbDUGTiYqjNqnw==[/tex]。证明：[tex=1.786x1.357]db85pjiUlp6DuSz3t/lTzw==[/tex]和[tex=1.286x1.357]1iCPfmaumBwudqtdwCwPlQ==[/tex]等价
- 命题[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex] NAND [tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]在[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex]或[tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]或两者均为假时为真，而当[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex]和 [tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]均为真时为假。命题[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex] NOR [tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]只在[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex]和[tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]均为假时为真，否则为假。命题[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex] NAND [tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]和[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex] NOR [tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]分别表示为[tex=1.786x1.357]db85pjiUlp6DuSz3t/lTzw==[/tex]和[tex=2.071x1.214]vV5XP+CRmbDUGTiYqjNqnw==[/tex]。证明[tex=2.071x1.214]vV5XP+CRmbDUGTiYqjNqnw==[/tex]逻辑等价于[tex=3.571x1.357]vxXf8ii7O1D1363SuS1cCA==[/tex]