|
CCNF
:''CCNF may also mean Canonical conjunctive normal form in Boolean algebra.'' G2/mitotic-specific cyclin-F is a protein that in humans is encoded by the ''CCNF'' gene. Function This gene encodes a member of the cyclin family. Cyclins are important regulators of cell cycle transitions through their ability to bind and activate CDK1, cyclin-dependent protein kinases. This member also belongs to the F-box protein family which is characterized by an approximately 40 amino acid motif, the F-box protein, F-box. The F-box proteins constitute one of the four subunits of the ubiquitin protein Ubiquitin ligase, ligase complex called SCFs (SKP1A, SKP1-cullin-F-box), which are part of the Ubiquitin proteasome pathway, ubiquitin-proteosome system (UPS). The F-box proteins are divided into 3 classes: Fbws containing WD-40 domains, Fbls containing leucine-rich repeats, and Fbxs containing either different protein-protein interaction modules or no recognizable motifs. The protein encoded by th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Canonical Conjunctive Normal Form
In Boolean algebra (logic), Boolean algebra, any Boolean function can be expressed in the canonical disjunctive normal form (Disjunctive normal form, CDNF) or minterm canonical form and its dual canonical conjunctive normal form (Conjunctive normal form, CCNF) or maxterm canonical form. Other canonical forms include the complete sum of prime implicants or Blake canonical form (and its dual), and the algebraic normal form (also called Zhegalkin or Reed–Muller). ''Minterms'' are called products because they are the logical AND of a set of variables, and ''maxterms'' are called sums because they are the logical OR of a set of variables. These concepts are dual because of their complementary-symmetry relationship as expressed by De Morgan's laws. Two dual canonical forms of ''any'' Boolean function are a "sum of minterms" and a "product of maxterms." The term "Sum of Products" (SoP or SOP) is widely used for the canonical form that is a disjunction (OR) of minterms. Its De Morg ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |