找出命题[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex]和[tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]的合取,其中[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex]为命题“Rebecca的PC至少有16GB空闲磁盘空间”,[tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]为命题“Rebecca的PC处理器的速度大于1GHz”
举一反三
- 命题[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=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]
- 命题[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]、[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]中恰有两个为真时该命题为真,否则为假。