This tool generates truth tables for propositional logic formulas. ... For example, the propositional formula p ∧ q → ¬r could be written as p /\ q -> ~r, ...
確定! 回上一頁