文件名称：Validation:命题陈述的有效性检查或检查陈述是否至少一次为真
文件大小：7KB
文件格式：ZIP
更新时间：2024-06-07 03:39:39
validation propositional-logic truth-table Java
验证 *****该程序验证命题陈述。 它检查您输入的语法错误还是正确。 *****还检查输入的语句是否至少一次为真（在真值表中）*****例如：（第1部分）1：（p12 / \ p34）为真，p12 / \ p34是错误的2：2：（〜p34）是正确的3：（（（（p12 /（〜p45）->（p12 / \ p45））/ \（p34 / \ p98）））是一个正确的语句（请注意：必须仔细检查括号的范围） *****例如：（第二部分）1：（p12 /（〜p12））在整个真值表2（p12 /（〜p45））至少为一次3（p12->（〜p34） ））在整个真值表中都是假的
【文件预览】：
Validation-master
----Rules.java(9KB)
----Validity.java(3KB)
----Test.java(2KB)
----FileHandling.java(1KB)
----README.md(619B)
----CheckTrue.java(5KB)
----TruthTable.java(2KB)
----_config.yml(28B)