The following wffs are not in NNF (2) Any Ay V2) It is a wellknown
Well Formed Formula. Any atomic proposition is a well formed formula. Web a proposition is called a well formed formula (or wff) if it is constructed with the following set of rules:
Web a proposition is called a well formed formula (or wff) if it is constructed with the following set of rules: Any atomic proposition is a well formed formula. 1.2.1 variables and connective symbols;
Any atomic proposition is a well formed formula. Any atomic proposition is a well formed formula. 1.2.1 variables and connective symbols; Web a proposition is called a well formed formula (or wff) if it is constructed with the following set of rules:
