对给出的任意一个合式公式（不超过四个命题变元），使学生会用C语言的语句表示出来，并且能够计算它在各组真值指派下所应有的真值。-Given any one of the well-formed formula (not more than four propositional variables), so that students will use C language statements that come out, and it is able to calculate the true value assigned to each group should be under the true value.
SHOW FULL COLUMNS FROM `jrk_downrecords` [ RunTime:0.001050s ]
SELECT `a`.`aid`,`a`.`title`,`a`.`create_time`,`m`.`username` FROM `jrk_downrecords` `a` INNER JOIN `jrk_member` `m` ON `a`.`uid`=`m`.`id` WHERE `a`.`status` = 1 GROUP BY `a`.`aid` ORDER BY `a`.`create_time` DESC LIMIT 10 [ RunTime:0.079449s ]
SHOW FULL COLUMNS FROM `jrk_tagrecords` [ RunTime:0.001080s ]
SELECT * FROM `jrk_tagrecords` WHERE `status` = 1 ORDER BY `num` DESC LIMIT 20 [ RunTime:0.001108s ]
SHOW FULL COLUMNS FROM `jrk_member` [ RunTime:0.001079s ]
SELECT `id`,`username`,`userhead`,`usertime` FROM `jrk_member` WHERE `status` = 1 ORDER BY `usertime` DESC LIMIT 10 [ RunTime:0.003025s ]
SHOW FULL COLUMNS FROM `jrk_searchrecords` [ RunTime:0.000817s ]
SELECT * FROM `jrk_searchrecords` WHERE `status` = 1 ORDER BY `num` DESC LIMIT 5 [ RunTime:0.003717s ]
SELECT aid,title,count(aid) as c FROM `jrk_downrecords` GROUP BY `aid` ORDER BY `c` DESC LIMIT 10 [ RunTime:0.014388s ]
SHOW FULL COLUMNS FROM `jrk_articles` [ RunTime:0.001060s ]
UPDATE `jrk_articles` SET `hits` = 2 WHERE `id` = 184631 [ RunTime:0.016852s ]
